The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 13 to 19 of 19 results
Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... 1472 (Lecture Notes in Computer Science) Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... 1472 (Lecture Notes in Computer Science) by Burkhard Freitag,Hendrik Decker,Michael Kifer,Andrei Voronkov

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... 1472 (Lecture Notes in Computer Science)

by Burkhard Freitag,Hendrik Decker,Michael Kifer,Andrei Voronkov


ISBN 13: 9783540653059

Format: Paperback (414 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

 
New : $55.61  
New : $55.61
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science) Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science) by Andrei Voronkov

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science)

by Andrei Voronkov


ISBN 13: 9783540554608

Format: Paperback (532 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $55.82  
New : $55.82
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science) by Matthias Baaz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science)

by Matthias Baaz, Andrei Voronkov


ISBN 13: 9783540000105

Format: Paperback (484 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

 
New : $56.03  
New : $56.03
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... 2850 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... 2850 (Lecture Notes in Computer Science) by Moshe Vardi, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... 2850 (Lecture Notes in Computer Science)

by Moshe Vardi, Andrei Voronkov


ISBN 13: 9783540201014

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $55.78  
New : $55.78
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312) Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312) by Ken McMillan,Aart Middeldorp,Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

by Ken McMillan,Aart Middeldorp,Andrei Voronkov


ISBN 13: 9783642452208

Format: Paperback (808 pages)
Publisher: Springer
Published: 02 Dec 2013

Save for later

 
New : $56.03  
New : $56.03
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers: 4378 (Lecture Notes in Computer Science) Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers: 4378 (Lecture Notes in Computer Science) by Irina Virbitskaite, Andrei Voronkov

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers: 4378 (Lecture Notes in Computer Science)

by Irina Virbitskaite, Andrei Voronkov


ISBN 13: 9783540708803

Format: Paperback (516 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

 
New : $55.76  
New : $55.76
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science) by Miki Hermann,Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science)

by Miki Hermann,Andrei Voronkov


ISBN 13: 9783540482819

Format: Illustrated (612 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $107.93  
New : $107.93